3.17.79 \(\int \sqrt {1-2 x} (2+3 x) (3+5 x)^3 \, dx\)

Optimal. Leaf size=66 \[ -\frac {375}{176} (1-2 x)^{11/2}+\frac {1675}{72} (1-2 x)^{9/2}-\frac {2805}{28} (1-2 x)^{7/2}+\frac {8349}{40} (1-2 x)^{5/2}-\frac {9317}{48} (1-2 x)^{3/2} \]

________________________________________________________________________________________

Rubi [A]  time = 0.01, antiderivative size = 66, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 1, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.045, Rules used = {77} \begin {gather*} -\frac {375}{176} (1-2 x)^{11/2}+\frac {1675}{72} (1-2 x)^{9/2}-\frac {2805}{28} (1-2 x)^{7/2}+\frac {8349}{40} (1-2 x)^{5/2}-\frac {9317}{48} (1-2 x)^{3/2} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[Sqrt[1 - 2*x]*(2 + 3*x)*(3 + 5*x)^3,x]

[Out]

(-9317*(1 - 2*x)^(3/2))/48 + (8349*(1 - 2*x)^(5/2))/40 - (2805*(1 - 2*x)^(7/2))/28 + (1675*(1 - 2*x)^(9/2))/72
- (375*(1 - 2*x)^(11/2))/176

Rule 77

Int[((a_.) + (b_.)*(x_))*((c_) + (d_.)*(x_))^(n_.)*((e_.) + (f_.)*(x_))^(p_.), x_Symbol] :> Int[ExpandIntegran
d[(a + b*x)*(c + d*x)^n*(e + f*x)^p, x], x] /; FreeQ[{a, b, c, d, e, f, n}, x] && NeQ[b*c - a*d, 0] && ((ILtQ[
n, 0] && ILtQ[p, 0]) || EqQ[p, 1] || (IGtQ[p, 0] && ( !IntegerQ[n] || LeQ[9*p + 5*(n + 2), 0] || GeQ[n + p + 1
, 0] || (GeQ[n + p + 2, 0] && RationalQ[a, b, c, d, e, f]))))

Rubi steps

\begin {align*} \int \sqrt {1-2 x} (2+3 x) (3+5 x)^3 \, dx &=\int \left (\frac {9317}{16} \sqrt {1-2 x}-\frac {8349}{8} (1-2 x)^{3/2}+\frac {2805}{4} (1-2 x)^{5/2}-\frac {1675}{8} (1-2 x)^{7/2}+\frac {375}{16} (1-2 x)^{9/2}\right ) \, dx\\ &=-\frac {9317}{48} (1-2 x)^{3/2}+\frac {8349}{40} (1-2 x)^{5/2}-\frac {2805}{28} (1-2 x)^{7/2}+\frac {1675}{72} (1-2 x)^{9/2}-\frac {375}{176} (1-2 x)^{11/2}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.02, size = 33, normalized size = 0.50 \begin {gather*} -\frac {(1-2 x)^{3/2} \left (118125 x^4+408625 x^3+598350 x^2+482583 x+223231\right )}{3465} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[Sqrt[1 - 2*x]*(2 + 3*x)*(3 + 5*x)^3,x]

[Out]

-1/3465*((1 - 2*x)^(3/2)*(223231 + 482583*x + 598350*x^2 + 408625*x^3 + 118125*x^4))

________________________________________________________________________________________

IntegrateAlgebraic [A]  time = 0.02, size = 60, normalized size = 0.91 \begin {gather*} \frac {-118125 (1-2 x)^{11/2}+1289750 (1-2 x)^{9/2}-5553900 (1-2 x)^{7/2}[phone] (1-2 x)^{5/2}-10761135 (1-2 x)^{3/2}}{55440} \end {gather*}

Antiderivative was successfully verified.

[In]

IntegrateAlgebraic[Sqrt[1 - 2*x]*(2 + 3*x)*(3 + 5*x)^3,x]

[Out]

(-10761135*(1 - 2*x)^(3/2) + 11571714*(1 - 2*x)^(5/2) - 5553900*(1 - 2*x)^(7/2) + 1289750*(1 - 2*x)^(9/2) - 11
8125*(1 - 2*x)^(11/2))/55440

________________________________________________________________________________________

fricas [A]  time = 1.73, size = 34, normalized size = 0.52 \begin {gather*} \frac {1}{3465} \, {\left (236250 \, x^{5} + 699125 \, x^{4} + 788075 \, x^{3} + 366816 \, x^{2} - 36121 \, x - 223231\right )} \sqrt {-2 \, x + 1} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2+3*x)*(3+5*x)^3*(1-2*x)^(1/2),x, algorithm="fricas")

[Out]

1/3465*(236250*x^5 + 699125*x^4 + 788075*x^3 + 366816*x^2 - 36121*x - 223231)*sqrt(-2*x + 1)

________________________________________________________________________________________

giac [A]  time = 1.31, size = 74, normalized size = 1.12 \begin {gather*} \frac {375}{176} \, {\left (2 \, x - 1\right )}^{5} \sqrt {-2 \, x + 1} + \frac {1675}{72} \, {\left (2 \, x - 1\right )}^{4} \sqrt {-2 \, x + 1} + \frac {2805}{28} \, {\left (2 \, x - 1\right )}^{3} \sqrt {-2 \, x + 1} + \frac {8349}{40} \, {\left (2 \, x - 1\right )}^{2} \sqrt {-2 \, x + 1} - \frac {9317}{48} \, {\left (-2 \, x + 1\right )}^{\frac {3}{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2+3*x)*(3+5*x)^3*(1-2*x)^(1/2),x, algorithm="giac")

[Out]

375/176*(2*x - 1)^5*sqrt(-2*x + 1) + 1675/72*(2*x - 1)^4*sqrt(-2*x + 1) + 2805/28*(2*x - 1)^3*sqrt(-2*x + 1) +
8349/40*(2*x - 1)^2*sqrt(-2*x + 1) - 9317/48*(-2*x + 1)^(3/2)

________________________________________________________________________________________

maple [A]  time = 0.00, size = 30, normalized size = 0.45 \begin {gather*} -\frac {\left (118125 x^{4}+408625 x^{3}+598350 x^{2}+482583 x +223231\right ) \left (-2 x +1\right )^{\frac {3}{2}}}{3465} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((3*x+2)*(5*x+3)^3*(-2*x+1)^(1/2),x)

[Out]

-1/3465*(118125*x^4+408625*x^3+598350*x^2+482583*x+223231)*(-2*x+1)^(3/2)

________________________________________________________________________________________

maxima [A]  time = 0.47, size = 46, normalized size = 0.70 \begin {gather*} -\frac {375}{176} \, {\left (-2 \, x + 1\right )}^{\frac {11}{2}} + \frac {1675}{72} \, {\left (-2 \, x + 1\right )}^{\frac {9}{2}} - \frac {2805}{28} \, {\left (-2 \, x + 1\right )}^{\frac {7}{2}} + \frac {8349}{40} \, {\left (-2 \, x + 1\right )}^{\frac {5}{2}} - \frac {9317}{48} \, {\left (-2 \, x + 1\right )}^{\frac {3}{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2+3*x)*(3+5*x)^3*(1-2*x)^(1/2),x, algorithm="maxima")

[Out]

-375/176*(-2*x + 1)^(11/2) + 1675/72*(-2*x + 1)^(9/2) - 2805/28*(-2*x + 1)^(7/2) + 8349/40*(-2*x + 1)^(5/2) -
9317/48*(-2*x + 1)^(3/2)

________________________________________________________________________________________

mupad [B]  time = 0.02, size = 46, normalized size = 0.70 \begin {gather*} \frac {8349\,{\left (1-2\,x\right )}^{5/2}}{40}-\frac {9317\,{\left (1-2\,x\right )}^{3/2}}{48}-\frac {2805\,{\left (1-2\,x\right )}^{7/2}}{28}+\frac {1675\,{\left (1-2\,x\right )}^{9/2}}{72}-\frac {375\,{\left (1-2\,x\right )}^{11/2}}{176} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((1 - 2*x)^(1/2)*(3*x + 2)*(5*x + 3)^3,x)

[Out]

(8349*(1 - 2*x)^(5/2))/40 - (9317*(1 - 2*x)^(3/2))/48 - (2805*(1 - 2*x)^(7/2))/28 + (1675*(1 - 2*x)^(9/2))/72
- (375*(1 - 2*x)^(11/2))/176

________________________________________________________________________________________

sympy [A]  time = 2.59, size = 58, normalized size = 0.88 \begin {gather*} - \frac {375 \left (1 - 2 x\right )^{\frac {11}{2}}}{176} + \frac {1675 \left (1 - 2 x\right )^{\frac {9}{2}}}{72} - \frac {2805 \left (1 - 2 x\right )^{\frac {7}{2}}}{28} + \frac {8349 \left (1 - 2 x\right )^{\frac {5}{2}}}{40} - \frac {9317 \left (1 - 2 x\right )^{\frac {3}{2}}}{48} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((2+3*x)*(3+5*x)**3*(1-2*x)**(1/2),x)

[Out]

-375*(1 - 2*x)**(11/2)/176 + 1675*(1 - 2*x)**(9/2)/72 - 2805*(1 - 2*x)**(7/2)/28 + 8349*(1 - 2*x)**(5/2)/40 -
9317*(1 - 2*x)**(3/2)/48

________________________________________________________________________________________